Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1

Source URL: www.kestrel.edu

• Formal methods
• Computing
• Software engineering
• Theoretical computer science
• Specification language
• Refinement
• Abstract state machines
• Domain-specific language
• Specification
• Programming language
• Integrated circuit design
• Formal specification

in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Constraint programming
• Mathematics
• Lattice theory
• Mathematical optimization
• Applied mathematics
• Constraint satisfaction
• Local consistency
• Semilattice
• Linear programming
• Optimization problem
• Constraint
• Feasible region

Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin

Source URL: www.kestrel.edu

• Concurrent computing
• Liveness
• Temporal logic
• Safety property
• Category theory
• Computation tree logic
• Morphism
• Dual
• Category
• Natural transformation
• Mathematics
• Mathematical logic

Using Speakeasy for Ad Hoc Peer-to-Peer Collaboration W. Keith Edwards, Mark W. Newman, Jana Z. Sedivy, Trevor F Smith, Dirk Balfanz, D. K. Smetters, H. Chi Wong, Shahram Izadi Palo Alto Research Center 3333 Coyote Hill

Source URL: trevor.smith.name

THE “3D WIKI”: BLENDING VIRTUAL WORLDS AND WEB ARCHITECTURE FOR REMOTE COLLABORATION Michael Roberts1, Nicolas Ducheneaut1, Trevor F. Smith2 1 Palo Alto Research Center andSolutions, Inc.

Source URL: trevor.smith.name

• Virtual reality
• Computing
• Software
• Game design
• Second Life
• Avatar
• Virtual world
• Open Wonderland
• Server
• Social software
• Session
• Virtual world framework

CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez May 25, 2017 The Board will hol

Source URL: clark.ohioboe.com

CyCon_2017_Strohmeier_Smith_Schäfer_Lenders_Martinovic.indd

Source URL: www.lenders.ch

• Cybercrime
• Computer network security
• Cyberwarfare
• Security engineering
• Wireless networking
• Computing
• Air traffic control
• OpenSky Network
• Automatic dependent surveillance broadcast
• Computer security
• Wireless sensor network
• Wireless

CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez January 18, 2018 The Board will

Source URL: clark.ohioboe.com

CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  Dale Henry Director  Matthew Tlachac Deputy Director  Jason Baker September 11, 2015 Notice of Speci

Source URL: clark.ohioboe.com

Executives Left to right: Jon Nelson, President, GSW-Newtown Dan Smith, President, GSW-Columbus Kim Johnson, President, GSW-New York and Santa Monica Mark Jazvac, President, GSW-Canada

Source URL: www.gsw-w.com

• Health
• Drug advertising
• Marketing
• Advertising
• Communication design
• Product design
• Pharmaceutical marketing
• Pharmaceutical industry
• Pfizer